let x: {[key in keyof O]+?: T};
